Nuprl Definition : sends-bound 11,40
sends-bound(p; e; l) == (p(e,l)).1 
latex

Definitionst.1
FDL editor aliasessends-bound

origin